Foundational Calculi for Programming Languages
نویسنده
چکیده
منابع مشابه
Foundational Calculi for Network Aware Programming
We classify and evaluate a number of foundational calculi for network-aware programming. The benefits and drawbacks of each calculus and its appropriateness to express metaphors for networkaware programming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. This evaluation will h...
متن کاملCalculi for Network Aware Programming
Highly distributed networks have now become a common infrastructure for many applications which use network facilities to access remote resources and services. Network awareness, namely the ability of dealing with dynamic changes of network environment, has emerged as a key design principle for wide-area distributed applications. Network-aware computing has prompted the study of the foundations...
متن کاملCalculi for Interactive Systems: Theory and Experiment
The objectives of the project were, briefly: (1) To study and design a foundational calculus and prototype programming language, based on the π-calculus, for describing and analysing migratory distributed systems; (2) To further develop the theory of action calculi, a graphical formalisation of interactive systems, to compare disciplines and study common concepts; (3) To test this framework upo...
متن کاملConcurrent Constraints in the Fusion Calculus ( extended
We use the fusion calculus, a generalization and simpliication of the-calculus, to model concurrent constraint programming. In particular we encode three basic variants of the-calculus, which is a foundational calculus for the concurrent constraint programming language Oz. Using a new reduction-based semantics and weak barbed congruences for the fusion calculus we formally establish an operatio...
متن کاملOn the Expressive Power of Klaim - based Calculi 1 Rocco
In this work, we study the expressive power of variants of Klaim, an experimental language with programming primitives for global computing that combines the process algebra approach with the coordination-oriented one. Klaim has proved to be suitable for programming a wide range of distributed applications with agents and code mobility, and has been implemented on the top of a runtime system ba...
متن کامل